2

When Is a Graph Product of Groups Virtually-Free?

Year:
2007
Language:
english
File:
PDF, 104 KB
english, 2007
3

L(A)=L(B)? decidability results from complete formal systems

Year:
2001
Language:
english
File:
PDF, 1.22 MB
english, 2001
4

L(A)=L(B)? A simplified decidability proof

Year:
2002
Language:
english
File:
PDF, 461 KB
english, 2002
5

Complete formal systems for equivalence problems

Year:
2000
Language:
english
File:
PDF, 181 KB
english, 2000
6

A polynomial algorithm testing partial confluence of basic semi-Thue systems

Year:
1998
Language:
english
File:
PDF, 1.20 MB
english, 1998
7

Groups and nts languages

Year:
1987
Language:
english
File:
PDF, 1.36 MB
english, 1987
9

Decision problems for semi-Thue systems with a few rules

Year:
2005
Language:
english
File:
PDF, 322 KB
english, 2005
10

The Bisimulation Problem for Equational Graphs of Finite Out-Degree

Year:
2005
Language:
english
File:
PDF, 681 KB
english, 2005
11

Word-Mappings of Level 2

Year:
2014
Language:
english
File:
PDF, 1.11 MB
english, 2014
12

Some undecidable termination problems for semi-Thue systems

Year:
1995
Language:
english
File:
PDF, 822 KB
english, 1995
14

On the rational subsets of the free group

Year:
1996
Language:
english
File:
PDF, 966 KB
english, 1996
15

L(A) = L(B)?

Year:
1997
File:
PDF, 30 KB
1997